La farsa hispanoamericana, su risa irreverente
نویسندگان
چکیده
منابع مشابه
Real Quadratic Quantifier Elimination in Risa/Asir
Weispfenning has shown how to use test term methods for quantifier elimination in linear and quadratic first-order formulas over real closed fields. This paper describes the state of the implementation of such methods in the computer algebra system Risa/Asir. The package described here is entirely written in the C programming language. We point on possible extensions of the package and give exa...
متن کاملSU (3)-Goodman-de la Harpe-Jones subfactors and the realisation of SU (3) modular invariants
We complete the realisation by braided subfactors, announced by Ocneanu, of all SU(3)-modular invariant partition functions previously classified by Gannon.
متن کاملThe multifaceted RisA regulon of Bordetella pertussis
The whooping cough agent Bordetella pertussis regulates the production of its virulence factors by the BvgA/S system. Phosphorylated BvgA activates the virulence-activated genes (vags) and represses the expression of the virulence-repressed genes (vrgs) via the activation of the bvgR gene. In modulating conditions, with MgSO4, the BvgA/S system is inactive, and the vrgs are expressed. Here, we ...
متن کاملA Computer Algebra System: Risa/Asir
Risa/Asir consists of the Risa engine for performing operations on mathematical objects and an interpreter for programs written in the Asir user language. In Risa/Asir, polynomials are represented in two different internal forms: the recursive representation and the distributed representation. Polynomial factorization and GCD are based on the former representation, and computations related to t...
متن کاملTécnicas para la Clasificación/Recuperación de Componentes Software Reutilizables y su Impacto en la Calidad
Este artlculo presenta una recopilaci6n de las principales t6cnicas de clasificaci6n y recuperaci6n de componentes software reutilizables, en uso hoy en dia asi como su impacto en el aseguramiento de la calidad de los sistemas informticos desarrollados mediante su composici6n.. Los mecanismos de ambos procesos se relacionan directarnente al depender del rnismo objeto; rnientras la clasificaci6n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: La Palabra y el Hombre, revista de la Universidad Veracruzana
سال: 2019
ISSN: 0185-5727
DOI: 10.25009/lpyh.v0i46.2780